Resultados de la búsqueda
Appearance
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- En lógica, la Paradoja de Richard es una antinomia de la teoría de conjuntos y el lenguaje natural que fue descrita por primera vez por el matemático Jules…14 kB (2068 palabras) - 13:44 1 feb 2024
- caracterizar la definibilidad en lógica de segundo orden existencial. Para el juego se fijan dos estructuras, y dos jugadores. Uno de los jugadores quiere…8 kB (1131 palabras) - 14:07 25 ene 2020
- potente, tanto en la teoría de conjuntos como en áreas de la lógica matemática como la teoría de la computabilidad. La teoría descriptiva de conjuntos usa…49 kB (8961 palabras) - 10:13 11 feb 2024
- anteriormente, la tesis de Church permite definir un método tanto efectivo como mecánico que se puede utilizar tanto en las matemáticas como en la lógica. Sin embargo